Mathematical model - PDFSEARCH.IO - Document Search Engine

Mathematical model
Results: 5928

#	Item
951	Tunneling into a quantum Hall system and the infrared catastrophe Add to Reading List Source URL: www.physast.uga.edu Language: English - Date: 2009-06-11 18:39:16 Fourier analysis Fourier transform Joseph Fourier Free electron model Mathematical analysis Physics Integral transforms
952	Becoming aware of propositional variables Hans van Ditmarsch1 and Tim French2 1 2 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:15:11 Modal logic Philosophical logic Theoretical computer science Model theory Logic programming Bisimulation Epistemic modal logic Interpretation Propositional variable Logic Mathematical logic Mathematics
953	Equilibrium Bank Runs James Peck The Ohio State University Karl Shell Add to Reading List Source URL: www.karlshell.com Language: English - Date: 2009-06-18 16:26:44 Mathematical economics Marketing Nash equilibrium Diamond–Dybvig model Welfare economics Perfect competition Economic equilibrium Journal of Political Economy Business Game theory Economics Decision theory
954	Epidemiological Models Chapter 1 Epidemiological Models Note: Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Science Medicine Scientific modeling Public health Compartmental models in epidemiology Demography Scientific modelling Multi-compartment model Mathematical model Epidemiology Health Mathematical modeling
955	Experience and Information in the Newsvendor Problem Add to Reading List Source URL: ockenfels.uni-koeln.de Language: English - Date: 2012-03-02 04:54:41 Supply chain management Consumer theory Marketing Mathematical optimization Newsvendor model Demand Inventory Business Operations research Technology
956	Stereoscopic Segmentation Anthony J. Yezzi Georgia Institute of Technology Electrical and Computer Engineering 777 Atlantic Dr. N.W. Atlanta – GA 30332 Add to Reading List Source URL: vision.ucla.edu Language: English - Date: 2007-12-16 20:01:16 Computer graphics Optics Segmentation Mathematical optimization Level set method James Sethian Region growing Active contour model Image gradient Image processing Computer vision Imaging
957	Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:33:58 Philosophical logic Model theory First-order logic FO Linear temporal logic Modal logic Abstract interpretation Mereology Tiny Encryption Algorithm Logic Mathematical logic Predicate logic
958	A mathematical model for predicting fire spread in wildland fuels. Add to Reading List Source URL: www.fs.fed.us Language: English - Date: 2009-03-31 13:42:32 Linguistics Classical cipher Word square
959	æ 24 May 2015 CURRICULUM VITAE Add to Reading List Source URL: www2.econ.iastate.edu Language: English - Date: 2015-05-24 23:13:05 Computational economics Agent-based computational economics Science Applied mathematics Kenneth Judd Agent-based model Shu-Heng Chen Institute of Electrical and Electronics Engineers Multi-agent system Mathematical economics Economics Leigh Tesfatsion
960	A Verification Toolkit for Numerical Transition Systems Tool Paper⋆ Hossein Hojjat1 , Filip Koneˇcn´y2,4, Florent Garnier2 , Radu Iosif2 , Viktor Kuncak1, and Philipp R¨ummer3 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-06-11 13:15:35 Logic in computer science Model theory Presburger arithmetic Proof theory Data types Computability theory Oz Abstract interpretation Peano axioms Mathematical logic Mathematics Theoretical computer science

UPDATE